" Andreas Podelski" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Verification, Model Checking, and Abstract Interpretation, 8 conf., VMCAI 2007

Автор: Byron Cook, Автор: Andreas Podelski

Категория: CsLn_

Размер книги: 4.02 Mb

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)

Автор: Kurt Jensen, Автор: Andreas Podelski

Категория: Computer Science, Computer Science

Размер книги: 11.79 Mb

Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers

Автор: Andreas Podelski

Размер книги: 3.00 Mb

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences ...

Автор: Kurt Jensen, Автор: Andreas Podelski

Размер книги: 11.05 Mb